#### slurping
function cat(file,all,sep) { 
    return slurp("cat " file,all,sep) 
}
function wget(url,all,sep) { 
    return slurp("wget -q -O - http://" url,all,sep) 
}
function slurp(com,all, _sep) { 
    return split(slurp2String(com),
                 all, 
                 the(_sep,"\n")) 
}
function slurp2String(com,    txt,filename,fnr,nf,nr,rs,fs ) {
    filename=FILENAME;fnr=FNR;nf=NF;nr=NR;rs=RS;fs=FS;
    RS="\r\r\n"; FS="\r\r\n"; # change globals 
    com = deShell(com)        # make 'com0' safe
    com | getline txt         # everything is in 'txt'
    close(com)                # close pipe
    FILENAME=filename;FNR=fnr;NF=nf;NR=nr;RS=rs;FS=fs;
    return trim(txt)           # the end
}
function deShell(str) {
     gsub(/["`\$;\|&><]/,"",str);
     return str
}
